Workshop on Logic - PDFSEARCH.IO - Document Search Engine

Workshop on Logic
Results: 113

#	Item
21	Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-11-05 07:20:14 Mathematical logic Mathematical proofs Theoretical computer science Mathematical induction Recursion Structural induction Rippling Algorithm Theorem
22	Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Add to Reading List Source URL: places11.di.fc.ul.pt Language: English - Date: 2011-02-13 18:15:54 Process calculi Concurrent computing Distributed computing Actor model -calculus Calculus Bunched logic Parallel computing Resource fork Thread Resource management Concurrency
23	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
24	An Implementation of Multi-Level Modelling in F-Logic Muzaffar Igamberdiev, Georg Grossmann, and Markus Stumptner 1st International Workshop on Multi-Level Modelling (MULTI 2014) Add to Reading List Source URL: miso.es Language: English - Date: 2015-05-19 02:08:58 Knowledge representation Semantic Web Information science Technical communication Knowledge engineering Ontology Interoperability ISO 15926 F-logic
25	Call for Workshop Proposals LICS 2011 26th IEEE Symposium on Logic In Computer Science http://www2.informatik.hu-berlin.de/lics/lics11/ The twenty-sith IEEE Symposium on Logic In Computer Science (LICSwill be held Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2012-10-30 04:29:33 Logic in computer science Symposium on Logic in Computer Science
26	In Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL98), pages 69-78, Tallinn, Estonia, Springer-Verlag, 1998. Acceleration of Satisfiability Algorithms by Reconfigurable Har Add to Reading List Source URL: si2.epfl.ch Language: English - Date: 2005-05-20 05:52:26
27	Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION: Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2016-05-30 12:23:35 Formal sciences Metalogic Proof theory Philosophers of mathematics Mathematical logic Proof mining Logic Foundations of mathematics Workshop on Logic Language Information and Computation Mathematics Type theory Model theory
28	13 International Workshop on Non-Monotonic Reasoning, NMROn the Complexity of Temporal Defeasible Logic Guido Governatori∗ Add to Reading List Source URL: www.governatori.net Language: English - Date: 2010-04-30 23:14:31
29	Rewriting, Inference, and Proof? Appears in the Proceedings of the 8th Workshop on Rewriting Logic and its Applications, 2010 Natarajan Shankar1 Computer Science Laboratory Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2015-04-22 13:39:17
30	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux